(0 12 7)(1 14 5)(2 8 4)(3 13 11)(6 10 9)
ALLOWS (11/8)-SEQUENCE
1: (3 11 13)
(0 12 7)(1 14 5)(2 8 4)(3 11 13)(6 10 9)
2: (0 12 7)
(0)(1 14 5)(2 8 4)(3 11 13)(6 10 9)(7)(12)
3: (3 11 13)
(0)(1 14 5)(2 8 4)(3)(6 10 9)(7)(11)(12)(13)
4: (2 8 4)
(0)(1 14 5)(2)(3)(4)(6 10 9)(7)(8)(11)(12)(13)